%{
int yywrap(void)
{
	return 0;
}
%}
%%
/*
"+"	{ printf("PLUS\n"); }
"-"	{ printf("MINUS\n"); }
"*"	{ printf("TIMES\n"); }
"/"	{ printf("DIVIDE\n"); }
"|"	{ printf("ABS\n"); }
[0-9]+	{ printf("NUMBER%s\n",yytext); }
\n	{ printf("NEW LINE\n"); }
[ \n]	{ }
.	{ printf("Mystery character %s\n",yytext); }
*/

%%

main(int argc,char* argv[])
{
	yylex();
}
